GtkVolumeButton: Fix annoying double formatting

We meant to specify 0.2, and it came out as 0.2000000001.

diff --git a/gtk/resources/ui/gtkvolumebutton.ui b/gtk/resources/ui/gtkvolumebutton.ui
index 938ac0dc35ba8cc77ddd23edf41e99f5388c39f4..e4162f5739191df5102df2d63dda4216cd1b2f7c 100644 (file)
--- a/gtk/resources/ui/gtkvolumebutton.ui
+++ b/gtk/resources/ui/gtkvolumebutton.ui
@@ -4,7 +4,7 @@
   <object class="GtkAdjustment" id="adjustment">
     <property name="upper">1</property>
     <property name="step_increment">0.02</property>
-    <property name="page_increment">0.20000000000000001</property>
+    <property name="page_increment">0.2</property>
   </object>
   <template class="GtkVolumeButton" parent="GtkScaleButton">
     <property name="visible">True</property>